(0 20 5)(1 19 7)(2 18 16)(3 8 6)(4 11 9)(10 14 12)(13 17 15)
ALLOWS (11/8)-SEQUENCE
1: (5 17 20)
(0 20 15 13 17)(1 19 7)(2 18 16)(3 8 6)(4 11 9)(5)(10 14 12)
2: (1 19 7)
(0 20 15 13 17)(1)(2 18 16)(3 8 6)(4 11 9)(5)(7)(10 14 12)(19)
3: (2 18 16)
(0 20 15 13 17)(1)(2)(3 8 6)(4 11 9)(5)(7)(10 14 12)(16)(18)(19)
4: (0 13 17)
(0)(1)(2)(3 8 6)(4 11 9)(5)(7)(10 14 12)(13 20 15)(16)(17)(18)(19)